🎯 Proof Tactics

Interactive Theorem Proving, Tactic Languages, Proof Development, Automation

Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·1d·
Discuss: Hacker News
🎯Interactive Provers
Thought Purity: Defense Paradigm For Chain-of-Thought Attack
arxiv.org·7h
🛡️Proof-Carrying Archives
A Wide Reduction Trick (2022)
words.filippo.io·8h·
Discuss: Lobsters, Hacker News
🌳Archive Merkle Trees
How to actually use Model Context Protocol
seangoedecke.com·11h
⚡Proof Automation
Proof by Intimidation
en.wikipedia.org·1d·
Discuss: Hacker News
🔲Proof Irrelevance
Brain Busting Apple Interview Puzzle Paths On Grid
mindyourdecisions.com·15h
⚔️Lean Tactics
How to reason from first principles
caseyhandmer.wordpress.com·16h·
Discuss: Hacker News
✓Automated Theorem Proving
SmartDocs AI - Intelligent Documentation Search with Algolia MCP Server
dev.to·20h·
Discuss: DEV
🌀Brotli Internals
Quick guide to heuristic & bot programming contests
gmays.com·17h
⚡Proof Automation
Detection Engineering: Practicing Detection-as-Code – Repository – Part 2
blog.nviso.eu·3h
🔄Reproducible Builds
‘Controlled chaos’: how to create an environment that fosters genius
nature.com·10m
📐Mathematical Art
Performance Hacks for Brady’s Algorithm
nickdrozd.github.io·2d
🎞️Tape Combinatorics
Why Even Legendary Games Like Wesnoth Hide Bugs in Plain Sight
hackernoon.com·4h
📜Proof Carrying Code
Cactus Language • Stylistics 4
inquiryintoinquiry.com·1d
🌳Context free grammars
Boffins detail new algorithms to losslessly boost AI perf by up to 2.8x
theregister.com·1h
💻Local LLMs
Functional Abstract Interpretation
simon.peytonjones.org·2d·
Discuss: Hacker News
🔗Functional Compilers
We built AI dev agent that turns Jira tickets into ready PRs – no human needed
deepsense.ai·2h·
Discuss: Hacker News
⚡Proof Automation
Cheating? Or the acumen of modern programming? FOSS, "AI", and human conscience
gist.github.com·9h·
Discuss: Hacker News
🔗Concatenative Programming
Code Execution Through Email: How I Used Claude to Hack Itself
pynt.io·5h·
Discuss: Hacker News
🔓Hacking
On One-Shot Signatures, Quantum vs Classical Binding, and Obfuscating Permutations
arxiv.org·7h
🔐Quantum Security